#include <stdio.h>


int main(int argc,char const *argv[]) 
{
	int ch;
	while( (ch==getchar()) != EOF ){
		putchar(ch);
	} 

	printf("EOF\n");
	
	return 0;
}



